#include<stdio.h>
#include<string.h>

int btoD(char str[]); 
int main(void)
{
	char str1[30]={'\0'},str2[30]={'\0'},str3[30]={'\0'};
	int ans1,ans2,ans3;
	
	scanf("%s",&str1);
	scanf("%s",&str2);
	scanf("%s",&str3);
	
	ans1=btoD(str1);
	ans2=btoD(str2);
	ans3=btoD(str3);
	
	int temp;
	if(ans1>ans2)
	{
		temp=ans1;
		ans1=ans2;
		ans2=temp;
	}
	if(ans2>ans3)
	{
		temp=ans2;
		ans2=ans3;
		ans3=temp;
	}
	if(ans1>ans2)
	{
		temp=ans1;
		ans1=ans2;
		ans2=temp;
	}
	
	printf("%d ",ans1);
	printf("%d ",ans2);
	printf("%d",ans3);
		
	return 0;
}
int btoD(char str[])
{
	int length,sum=0,h=1;
	
	length=strlen(str)-1;
	
	for(int i=length;i>=0;i--)
	{
		sum+=((int)str[i]-48)*h;
		h*=2;
	}
	return sum;
}
